Behzad Bordbar: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

Translating natural language constraints to OCL

Bajwa, Imran Sarwar, Lee, Mark, Bordbar, Behzad

Journal:

Journal of King Saud University - Computer and Information Sciences

Year:

2012

Language:

english

File:

PDF, 1.15 MB

english, 2012

2

[Lecture Notes in Computer Science] Modelling Foundations and Applications Volume 6698 || A FUML-Based Distributed Execution Machine for Enacting Software Process Models

France, Robert B., Kuester, Jochen M., Bordbar, Behzad, Paige, Richard F.

Year:

2011

Language:

english

File:

PDF, 574 KB

english, 2011

3

[Lecture Notes in Computer Science] Modelling Foundations and Applications Volume 6698 || Automated Transition from Use Cases to UML State Machines to Support State-Based Testing

France, Robert B., Kuester, Jochen M., Bordbar, Behzad, Paige, Richard F.

Year:

2011

Language:

english

File:

PDF, 361 KB

english, 2011

4

[IEEE 2009 Seventh IEEE European Conference on Web Services (ECOWS) - Eindhoven, The Netherlands (2009.11.9-2009.11.11)] 2009 Seventh IEEE European Conference on Web Services - A Model-Based Approach to Fault Diagnosis in Service Oriented Architectures

Alodib, Mohammed, Bordbar, Behzad

Year:

2009

Language:

english

File:

PDF, 766 KB

english, 2009

5

A methodology for domain-specific business process modelling and implementation

Brahe, Steen, Bordbar, Behzad

Journal:

International Journal of Business Process Integration and Management

Year:

2009

Language:

english

File:

PDF, 800 KB

english, 2009

6

An aspect-oriented methodology for designing secure applications

Geri Georg, Indrakshi Ray, Kyriakos Anastasakis, Behzad Bordbar, Manachai Toahchoodee, Siv Hilde Houmb

Journal:

Information and Software Technology

Year:

2009

Language:

english

File:

PDF, 2.28 MB

english, 2009

7

Stateless data concealment for distributed systems

Rachid Anane, Sukhvir Dhillon, Behzad Bordbar

Journal:

Journal of Computer and System Sciences

Year:

2008

Language:

english

File:

PDF, 407 KB

english, 2008

8

Model interoperability via Model Driven Development

Mohamed A. Ameedeen, Behzad Bordbar, Rachid Anane

Journal:

Journal of Computer and System Sciences

Year:

2011

Language:

english

File:

PDF, 899 KB

english, 2011

9

Using UML to specify QoS constraints in ODP

Behzad Bordbar, John Derrick, Gill Waters

Journal:

Computer Networks

Year:

2002

Language:

english

File:

PDF, 488 KB

english, 2002

10

On challenges of model transformation from UML to Alloy

Kyriakos Anastasakis, Behzad Bordbar, Geri Georg, Indrakshi Ray

Journal:

Software & Systems Modeling

Year:

2010

Language:

english

File:

PDF, 826 KB

english, 2010

11

On-Line Monitoring of Large Petri Net Models Under Partial Observation

George Jiroveanu, René K. Boel, Behzad Bordbar

Journal:

Discrete Event Dynamic Systems

Year:

2008

Language:

english

File:

PDF, 954 KB

english, 2008

12

A modelling approach to Service oriented Architecture for on-line diagnosis

Mohammed Alodib, Behzad Bordbar

Journal:

Service Oriented Computing and Applications

Year:

2012

Language:

english

File:

PDF, 1.24 MB

english, 2012

13

[IEEE 2012 16th IEEE International Enterprise Distributed Object Computing Conference (EDOC 2012) - Beijing, China (2012.09.10-2012.09.14)] 2012 IEEE 16th International Enterprise Distributed Object Computing Conference - A Framework for Detecting Malware in Cloud by Identifying Symptoms

Harrison, Keith, Bordbar, Behzad, Ali, Syed T.T., Dalton, Chris I., Norman, Andrew

Year:

2012

Language:

english

File:

PDF, 388 KB

english, 2012

14

[IEEE 2008 3rd International Conference on internet and Web Applications and Services (ICIW) - Athens, Greece (2008.06.8-2008.06.13)] 2008 Third International Conference on Internet and Web Applications and Services - Evaluating the Use of AOP and MDA in Web Service Development

Ortiz, Guadalupe, Bordbar, Behzad, Hern, Juan

Year:

2008

Language:

english

File:

PDF, 285 KB

english, 2008

15

[Lecture Notes in Computer Science] Modelling Foundations and Applications Volume 6698 || Creating Domain-Specific Modelling Languages That Work: Hands-On

France, Robert B., Kuester, Jochen M., Bordbar, Behzad, Paige, Richard F.

Year:

2011

Language:

english

File:

PDF, 107 KB

english, 2011

16

[ACM Press the 6th International Workshop - Denver, Colorado (2009.10.05-2009.10.05)] Proceedings of the 6th International Workshop on Model-Driven Engineering, Verification and Validation - MoDeVVa '09 - From UML to Alloy and back again

Shah, Seyyed M. A., Anastasakis, Kyriakos, Bordbar, Behzad

Year:

2009

File:

PDF, 438 KB

2009

17

[IEEE 2009 IEEE International Conference on Web Services (ICWS) - Los Angeles, CA, USA (2009.07.6-2009.07.10)] 2009 IEEE International Conference on Web Services - Aspect-Oriented Quality of Service for Web Services: A Model-Driven Approach

Ortiz, Guadalupe, Bordbar, Behzad

Year:

2009

File:

PDF, 305 KB

2009

18

[Lecture Notes in Computer Science] Modelling Foundations and Applications Volume 6698 || Incremental Security Verification for Evolving UMLsec models

France, Robert B., Kuester, Jochen M., Bordbar, Behzad, Paige, Richard F.

Year:

2011

Language:

english

File:

PDF, 308 KB

english, 2011

19

[IEEE 2011 IEEE 14th International Multitopic Conference (INMIC) - Karachi, Pakistan (2011.12.22-2011.12.24)] 2011 IEEE 14th International Multitopic Conference - SBVR vs OCL: A comparative analysis of standards

Bajwa, Imran Sarwar, Bordbar, Behzad, Lee, Mark

Year:

2011

Language:

english

File:

PDF, 782 KB

english, 2011

20

[IEEE 2010 24th IEEE International Conference on Advanced Information Networking and Applications - Perth, Australia (2010.04.20-2010.04.23)] 2010 24th IEEE International Conference on Advanced Information Networking and Applications - A DSL-Based Approach to Software Development and Deployment on Cloud

Sledziewski, Krzysztof, Bordbar, Behzad, Anane, Rachid

Year:

2010

Language:

english

File:

PDF, 593 KB

english, 2010

21

[IEEE 2013 IEEE 6th International Conference on Cloud Computing (CLOUD) - Santa Clara, CA (2013.06.28-2013.07.3)] 2013 IEEE Sixth International Conference on Cloud Computing - An Architectural Framework for Enforcing Energy Management Policies in Cloud

Alansari, Marwah M., Bordbar, Behzad

Year:

2013

Language:

english

File:

PDF, 747 KB

english, 2013

22

[IEEE 2012 Seventh International Conference on Digital Information Management (ICDIM) - Macau, Macao (2012.08.22-2012.08.24)] Seventh International Conference on Digital Information Management (ICDIM 2012) - On formalizing of inconsistency and semi-consistency in spatio-temporal access control

Geepalla, Emsaieb, Bordbar, Behzad

Year:

2012

Language:

english

File:

PDF, 301 KB

english, 2012

23

[IEEE 2013 Fourth International Conference on Emerging Security Technologies (EST) - Cambridge, United Kingdom (2013.09.9-2013.09.11)] 2013 Fourth International Conference on Emerging Security Technologies - Spatio-temporal Role Based Access Control for Physical Access Control Systems

Geepalla, Emsaieb, Bordbar, Behzad, Du, Xiaofeng

Year:

2013

Language:

english

File:

PDF, 247 KB

english, 2013

24

[IEEE 2012 IEEE 26th International Conference on Advanced Information Networking and Applications (AINA) - Fukuoka, Japan (2012.03.26-2012.03.29)] 2012 IEEE 26th International Conference on Advanced Information Networking and Applications - File Management in a Mobile DHT-based P2P Environment

Ashraf, Khalid, Anane, Rachid, Bordbar, Behzad

Year:

2012

Language:

english

File:

PDF, 287 KB

english, 2012

25

[IEEE 2012 IEEE 3rd International Conference on Networked Embedded Systems for Every Application (NESEA) - Liverpool, United Kingdom (2012.12.13-2012.12.14)] 2012 IEEE 3rd International Conference on Networked Embedded Systems for Every Application (NESEA) - Verification of Spatio-Temporal Role Based Access Control using Timed Automata

Geepalla, Emsaieb, Bordbar, Behzad, Okano, Kozo

Year:

2012

Language:

english

File:

PDF, 935 KB

english, 2012

26

[IEEE 2012 Seventh International Conference on Digital Information Management (ICDIM) - Macau, Macao (2012.08.22-2012.08.24)] Seventh International Conference on Digital Information Management (ICDIM 2012) - On a chain of transformations for generating alloy from NL constraints

Bajwa, Imran Sarwar, Bordbar, Behzad, Anastasakis, Kyriakos, Lee, Mark

Year:

2012

Language:

english

File:

PDF, 409 KB

english, 2012

27

[IEEE 2008 12th Enterprise Distributed Object Computing Conference Workshops (EDOCW) - Munich, Germany (2008.09.16-2008.09.16)] 2008 12th Enterprise Distributed Object Computing Conference Workshops - A Model Driven Architecture approach to fault tolerance in Service Oriented Architectures, a performance study

Alodib, Mohammed, Bordbar, Behzad

Year:

2008

Language:

english

File:

PDF, 277 KB

english, 2008

28

[IEEE 2010 14th IEEE International Enterprise Distributed Object Computing Conference (EDOC 2010) - Vitoria, ES, Brazil (2010.10.25-2010.10.29)] 2010 14th IEEE International Enterprise Distributed Object Computing Conference - OCL Constraints Generation from Natural Language Specification

Bajwa, Imran Sarwar, Bordbar, Behzad, Lee, Mark G.

Year:

2010

Language:

english

File:

PDF, 318 KB

english, 2010

29

[IEEE 2008 Third International Conference on Digital Information Management (ICDIM) - London, United Kingdom (2008.11.13-2008.11.16)] 2008 Third International Conference on Digital Information Management - A model driven approach to the design and implementing of fault tolerant Service oriented Architectures

Alodib, Mohammed, Bordbar, Behzad, Majeed, Basim

Year:

2008

Language:

english

File:

PDF, 307 KB

english, 2008

30

[IEEE 2009 2nd International Conference on Computer Science and its Applications (CSA) - Jeju, Korea (South) (2009.12.10-2009.12.12)] 2009 2nd International Conference on Computer Science and its Applications - Trusted P2P Group Interaction

Anane, Rachid, Marrocco, Steven, Bordbar, Behzad

Year:

2009

Language:

english

File:

PDF, 394 KB

english, 2009

31

[IEEE 2011 Frontiers of Information Technology (FIT) - Islamabad, TBD, Pakistan (2011.12.19-2011.12.21)] 2011 Frontiers of Information Technology - SBVR2UML: A Challenging Transformation

Afreen, Hina, Bajwa, Imran Sarwar, Bordbar, Behzad

Year:

2011

Language:

english

File:

PDF, 265 KB

english, 2011

32

[IEEE 2014 IEEE International Conference on Cloud Engineering (IC2E) - Boston, MA, USA (2014.3.11-2014.3.14)] 2014 IEEE International Conference on Cloud Engineering - Forensic Virtual Machines: Dynamic Defence in the Cloud via Introspection

Shaw, Adrian L., Bordbar, Behzad, Saxon, John, Harrison, Keith, Dalton, Chris I.

Year:

2014

Language:

english

File:

PDF, 378 KB

english, 2014

33

[IEEE 2012 Fourth International Conference on Computational Intelligence, Modelling and Simulation (CIMSiM) - Kuantan, Malaysia (2012.09.25-2012.09.27)] 2012 Fourth International Conference on Computational Intelligence, Modelling and Simulation - A Case Analysis of IEEE 802.11 CSMA/CA Protocol via Sequence Diagrams

Ameedeen, Mohamed Ariff, Bordbar, Behzad

Year:

2012

Language:

english

File:

PDF, 217 KB

english, 2012

34

[IEEE 2011 Second International Conference on Networking and Computing (ICNC) - Osaka, Japan (2011.11.30-2011.12.2)] 2011 Second International Conference on Networking and Computing - Clock Number Reduction Abstraction on CEGAR Loop Approach to Timed Automaton

Okano, Kozo, Bordbar, Behzad, Nagaoka, Takeshi

Year:

2011

Language:

english

File:

PDF, 286 KB

english, 2011

35

[IEEE 2008 12th International IEEE Enterprise Distributed Object Computing Conference (EDOC) - Munich, Germany (2008.09.15-2008.09.19)] 2008 12th International IEEE Enterprise Distributed Object Computing Conference - A Model Driven Approach to Represent Sequence Diagrams as Free Choice Petri Nets

Ameedeen, Mohamed Ariff, Bordbar, Behzad

Year:

2008

Language:

english

File:

PDF, 652 KB

english, 2008

36

A Framework for the Analysis of Process Mining Algorithms

Weber, Philip, Bordbar, Behzad, Tino, Peter

Journal:

IEEE Transactions on Systems, Man, and Cybernetics: Systems

Year:

2013

Language:

english

File:

PDF, 1.11 MB

english, 2013

37

[ACM Press the 14th ACM symposium - Stresa, Italy (2009.06.03-2009.06.05)] Proceedings of the 14th ACM symposium on Access control models and technologies - SACMAT '09 - Ensuring spatio-temporal access control for real-world applications

Toahchoodee, Manachai, Ray, Indrakshi, Anastasakis, Kyriakos, Georg, Geri, Bordbar, Behzad

Year:

2009

Language:

english

File:

PDF, 391 KB

english, 2009

38

[IEEE 2008 IEEE International Conference on Web Services (ICWS) - Beijing, China (2008.09.23-2008.09.26)] 2008 IEEE International Conference on Web Services - Model-Driven Quality of Service for Web Services: An Aspect-Oriented Approach

Ortiz, Guadalupe, Bordbar, Behzad

Year:

2008

Language:

english

File:

PDF, 201 KB

english, 2008

39

[IEEE 2011 IEEE GCC Conference and Exhibition (GCC) - Dubai, United Arab Emirates (2011.02.19-2011.02.22)] 2011 IEEE GCC Conference and Exhibition (GCC) - Applying Protocol Service for the monitoring of business process

Du, Xiaofeng, Bordbar, Behzad, Alodib, Mohammed, Majeed, Basim

Year:

2011

Language:

english

File:

PDF, 436 KB

english, 2011

40

[IEEE 2014 International Conference on Cloud and Autonomic Computing (ICCAC) - United Kingdom (2014.9.8-2014.9.12)] 2014 International Conference on Cloud and Autonomic Computing - Modelling and Analysis of Migration Policies for Autonomic Management of Energy Consumption in Cloud via Petri-Nets

Alansari, Marwah M., Bordbar, Behzad

Year:

2014

Language:

english

File:

PDF, 1.18 MB

english, 2014

41

[IEEE 2014 IEEE International Conference on Big Data and Cloud Computing (BdCloud) - Sydney, Australia (2014.12.3-2014.12.5)] 2014 IEEE Fourth International Conference on Big Data and Cloud Computing - A Simplified Method of Measurement of Energy Consumption in Cloud and Virtualized Environment

Murwantara, I Made, Bordbar, Behzad

Year:

2014

Language:

english

File:

PDF, 701 KB

english, 2014

42

[ACM Press the 3rd International Workshop - Hyderabad, India (2014.06.03-2014.06.03)] Proceedings of the 3rd International Workshop on Realizing Artificial Intelligence Synergies in Software Engineering - RAISE 2014 - OCL usability: a major challenge in adopting UML

Bajwa, Imran Sarwar, Bordbar, Behzad, Lee, Mark

Year:

2014

Language:

english

File:

PDF, 393 KB

english, 2014

43

[IEEE 2014 IEEE 26th International Conference on Tools with Artificial Intelligence (ICTAI) - Limassol, Cyprus (2014.11.10-2014.11.12)] 2014 IEEE 26th International Conference on Tools with Artificial Intelligence - On Diagnosis of Violations of Constraints in Petri Net Models of Discrete Event Systems

Bordbar, Behzad, Al-Ajeli, Ahmed, Alodib, Mohammed

Year:

2014

Language:

english

File:

PDF, 832 KB

english, 2014

44

[ACM Press the 16th International Conference - Hanoi, Viet Nam (2014.12.04-2014.12.06)] Proceedings of the 16th International Conference on Information Integration and Web-based Applications & Services - iiWAS '14 - Measuring Energy Consumption for Web Service Product Configuration

Murwantara, I Made, Bordbar, Behzad, Minku, Leandro L.

Year:

2014

Language:

english

File:

PDF, 805 KB

english, 2014

45

[IEEE 2015 IEEE International Conference on Cloud Engineering (IC2E) - Tempe, AZ, USA (2015.3.9-2015.3.13)] 2015 IEEE International Conference on Cloud Engineering - Efficient Retrieval of Key Material for Inspecting Potentially Malicious Traffic in the Cloud

Saxon, John T., Bordbar, Behzad, Harrison, Keith

Year:

2015

Language:

english

File:

PDF, 263 KB

english, 2015

46

Introspecting for RSA Key Material to Assist Intrusion Detection

Saxon, John, Bordbar, Behzad, Harrison, Keith

Journal:

IEEE Cloud Computing

Year:

2015

Language:

english

File:

PDF, 418 KB

english, 2015

47

[IEEE 2015 IEEE Trustcom/BigDataSE/ISPA - Helsinki, Finland (2015.8.20-2015.8.22)] 2015 IEEE Trustcom/BigDataSE/ISPA - Analysis of Mobility Algorithms for Forensic Virtual Machine Based Malware Detection

Alruhaily, Nada, Bordbar, Behzad, Chothia, Tom

Year:

2015

Language:

english

File:

PDF, 390 KB

english, 2015

48

A Protocol for Preventing Insider Attacks in Untrusted Infrastructure-as-a-Service Clouds.

Khan, Imran, Anwar, Zahid, Bordbar, Behzad, Ritter, Eike, Rehman, Habib-ur

Journal:

IEEE Transactions on Cloud Computing

Year:

2016

Language:

english

File:

PDF, 598 KB

english, 2016

49

SPIE Proceedings [SPIE SPIE Optical Engineering + Applications - San Diego, California, United States (Sunday 28 August 2016)] Unconventional Imaging and Wavefront Sensing XII - Wavefront phase retrieval with multi-aperture Zernike filter for atmospheric sensing and adaptive optics applications

Dolne, Jean J., Karr, Thomas J., Dayton, David C., Bordbar, Behzad, Farwell, Nathan H., Vorontsov, Mikhail A.

Year:

2016

Language:

english

File:

PDF, 1.35 MB

english, 2016

50

Iranian Gender-Nonconforming Children Will Not Benefit from the Omission of Gender Incongruence in Children Diagnosis

Khorashad, Behzad S., Talaei, Ali, Bordbar, Mohammad Reza Fayyazi, Modares-Gharavi, Morteza, Vakili, Rahim, Taghavi Razavizadeh, Rahim, Koohestani, Laleh, Afkhamizadeh, Mozhgan

Journal:

Archives of Sexual Behavior

Year:

2016

Language:

english

File:

PDF, 313 KB

english, 2016